Monitoring Time-Aware Social Commitments with Reactive Event Calculus

Despite their dynamic nature, social commitments have been rarely used for monitoring purposes, and few attention has been paid to the relationship between commitments and the temporal dimension and to the corresponding run-time verification. Building on previous work, we present a declarative axiomatization of time-aware social commitments, extending their basic life cycle with time-related transitions and with compensation mechanisms. The formalization is based on a reactive version of the Event Calculus, which supports the monitoring of the commitments evolution during a system’s execution, checking if the interacting agents are honoring them or not.